structure S =
struct
  val x : int
  val y : int
end
